Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
671	TMA4195 Mathematical modelling 2004 Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2004-08-16 11:51:36 Dimensional analysis Physical quantity Dimensionless quantity Matrix Theoretical physics Linear temporal logic Spectral theory of ordinary differential equations Physics Measurement Buckingham π theorem
672	K-SAMPLE ANDERSON-DARLING TESTS OF FIT, FOR CONTINUOUS AND DISCRETE CASES Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2008-03-28 14:48:52 Generalized functions Fourier analysis Order statistic Permutations Distribution Limit Convolution Linear temporal logic Mathematical analysis Functional analysis Mathematics
673	Temporal Logic Theory and Applications Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2007-12-05 16:32:46 Formal languages Predicate logic Propositional calculus Philosophy of language Interpretation Non-logical symbol Logical connective Proposition Term Logic Mathematical logic Mathematics
674	Change, Temporal Parts, and the Argument from Vagueness Achille C. Varzi Department of Philosophy, Columbia University (New York) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2005-11-24 10:18:54 Mereology Epistemology Philosophy of language Semantics Four-dimensionalism Mereological essentialism Temporal parts Vagueness Function Philosophy Metaphysics Logic
675	Journal of Global Optimization 24: 285309, 2002. c 2002 Kluwer Academic Publishers. Printed in the Netherlands. Add to Reading List Source URL: www.ccas.ru Language: English - Date: 2003-12-19 14:38:47 Linear algebra Operator theory Calculus of variations Vector space Pullback Linear temporal logic Algebra Mathematics Mathematical analysis
676	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax
677	Liveness Properties Lecture #7 of Model Checking Joost-Pieter Katoen Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:42:10 Structure Logic Mathematics Metaphilosophy Temporal logic Model theory Metalogic Model checking
678	Microsoft PowerPoint - ESWEEK08-final-pdf.ppt Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computer science Concurrency Model checking Logic in computer science Correctness Temporal logic Software development process Formal verification Formal methods Theoretical computer science Applied mathematics
679	LTL Formalization of BPML Semantics and Visual Notation for Linear Temporal Logic Marco Brambilla Add to Reading List Source URL: www.webml.org Language: English - Date: 2005-01-24 06:26:34 OSI protocols Science Logic in computer science Linear temporal logic Process management Business Process Model and Notation Logic Workflow XML Temporal logic Computing Workflow technology
680	MOSCOW MATHEMATICAL JOURNAL Volume 9, Number 4, October–December 2009, Pages 899–926 Add to Reading List Source URL: www.ams.org Language: English - Date: 2009-12-16 12:21:16 Generalized functions Symbol Fourier transform Distribution Convolution Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Fourier analysis Functional analysis